#include "systemc.h"
#include "CpuTop.h"

int sc_main(int argc, char *argv[]) {
    CpuTop ct("CpuTop");

    sc_start();
    return 0;
}
